Process Analysis Toolkit (PAT) 3.5 Help |
The language references is structured as follows: This section gives you an overview of Orc language. 3.8.1.2 Addon for
Verification For ease of verification, we introduce several addons to the language. This
section will give you an introduction for those addons. This section would introduce the assertions that are supported. This section lists the sites that are supported. This section introduce you the complete grammar rules.